181. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
Author: edited by J. Diaz and I. Ramos
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
107
182. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
64
.
R49
1990
183. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
489
184. Foundations of software technology and theoretical computer science
Author: V. Arvind, R. Ramanujam (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Computer software, Congresses.,Evolutionary programming (Computer science), Congresses.,Molecular computers, Congresses.,Quantum computers, Congresses.
185. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
Author: K.V. Nori, S. Kumar )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
338
186. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
Author: edited by S.N. Maheshwari
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
206
187. Foundations of software technology and theoretical computer science: fourth conference, Banglore, India, Dec. 13-15, 1984, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(-- Congresses,، Computers-- Congresses
Classification :
QA
76
.
6
.
F686
1984
188. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
Classification :
QA
76
.
6
.
F853
1993
189. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics )5891 : Ilkley, West Yorkshire(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses
Classification :
QA
76
.
6
.
N379
1985
190. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
Classification :
QA
76
.
6
.
N379
1985
191. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974
Author: Herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
7
192. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses
Classification :
QA
76
.
6
.
G18
1974
193. GI-NTG : fachtagung struktur und betrieb von Rechensystemen : Braunschweig, 20-22, 3, 1974
Author: Herausgegeben in Auftrag der GI und der NTG von H.-O. Leilich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Evaluations -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
8
194. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
195. Graphic languages. Proceedings
Author: IFIP Working Conference on Graphic Languages, 2791, Vancouver, B.C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
T
385
.
I25
1972
196. HOPL III
Author: sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- History, Congresses.
197. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
Classification :
TK
7888
.
3
.
I57
1997
198. History of programming languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- History- Congresses
Classification :
76
.
7
.
H56
199. How to make computers easier to use : digest of papers
Author: Compcon, )11th, 5791, Washington, D.C.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
Classification :
QA
76
.
6
.
C6276
1975
200. IFIP working conference on command languages, lund, sweden, 1974. command languages; proceedings
Author: Command languages
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers)- congresses
Classification :
001
I61c
